$\forall$${\it loc}$:Id, $k$:Knd, $L$:IdLnk List. @${\it loc}$: $k$ sends only on links in $L$ $\in$ Realizer